The Mean and the Variance Matrix of the 'fixed' Gps Baseline

In this contribution we determine the rst two moments of the ' xed' GPS baseline. The rst two moments of the ' oat' solution are well-known. They follow from standard adjustment theory. In order to determine the corresponding moments of the ' xed' solution, the probabilistic characteristics of the integer least-squares ambiguities need to be taken into account. It is shown that the ' xed' GPS baseline estimator is unbiased in case the probability density function of the real-valued least-squares ambiguity vector is symmetric about its integer mean. We also determine the variance matrix of the ' xed' GPS baseline. This matrix di ers from the one which is usually used in practice. The di erence between the two matrices is made up of the precision contribution of the integer least-squares ambiguities.